|
Robert Lawson Vaught (April 4, 1926 – April 2, 2002) was a mathematical logician, and one of the founders of model theory.〔(In Memoriam: Robert Lawson Vaught, U. C. Berkeley )〕 ==Life== Vaught was a musical prodigy in his youth, in his case the piano. He began his university studies at Pomona College, at age 16. When World War II broke out, he enlisted US Navy which assigned him to the University of California's V-12 program. He graduated in 1945 with an AB in physics. In 1946, he began a Ph.D. in mathematics at Berkeley. He initially worked under the topologist John L. Kelley, writing on C * algebras. In 1950, in response to McCarthyite pressures, Berkeley required all staff to sign a loyalty oath. Kelley declined and moved his career to Tulane University for three years. Vaught then began afresh under Alfred Tarski, completing in 1954 a thesis on mathematical logic, titled ''Topics in the Theory of Arithmetical Classes and Boolean Algebras''. After a four years at the University of Washington, Vaught returned to Berkeley in 1958, where he remained until his 1991 retirement. In 1957, Vaught married Marilyn Maca; they had two children. 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「Robert Lawson Vaught」の詳細全文を読む スポンサード リンク
|